Définition
Définition d'un recouvrement :
- soit \((E,\tau)\) un espace topologique
- soit \((U_i)_{i\in I}\) une famille de sous-ensembles
- $$E\subset\bigcup_{i\in I}U_i$$
$$\Huge\iff$$
- on dit que \((U_i)_{i\in I}\) est un recouvrement de \(E\)
- c'est un recouvrement ouvert si \(U_i\) est ouvert \(\forall i\in I\)
- c'est un sous-recouvrement pour \((U_j)_{j\in J}\), \(J\subset I\)